Defining and Maintaining Agent's Experience in Logical Agents
نویسنده
چکیده
In this paper, we extend our previous approach to memory in the DALI language from facts to (sets of) rules, and we extend their management by introducing operators for reasoning about the context and agent is involved in, and about modules that should be associated to that context in the working memory. We exploit and extend our past work where we introduced meta-axioms for run-time self-checking and self-reconfiguration and the possibility of employing sub-modules for various forms of reasoning.
منابع مشابه
Programming Resource-Bounded Deliberative Agents
This paper is concerned with providing a common framework for both the logical specification and execution of agents. While numerous high-level agent theories have been proposed in order to model agents, such as theories of intention, these often have little formal connection to practical agentbased systems. On the other hand, many of the agent-based programming languages used for implementing ...
متن کاملدیدگاه عاملین زایمان در مورد اپیزیاتومی روتین: یک مطالعه کیفی
Background and purpose: Many studies have determined desirable outcomes of elective episiotomy. However, the clinical practice is not based on results in many hospitals. For this reason, the present study assessed the view of practitioners regarding routine episiotomy. Materials and methods: This qualitative study was done by content analysis. A through semi-structured interview was done w...
متن کاملProcess algebraic modeling of authentication protocols for analysis of parallel multi-session executions
Many security protocols have the aim of authenticating one agent acting as initiator to another agent acting as responder and vice versa. Sometimes, the authentication fails because of executing several parallel sessions of a protocol, and because an agent may play both the initiator and responder role in parallel sessions. We take advantage of the notion of transition systems to specify authen...
متن کاملOntology Negotiation between Scientific Archives
This paper describes an approach to ontology negotiation between information agents. Ontologies are declarative (data driven) expressions of an agent's "world": the objects, operations, facts, and rules that constitute the logical space within which an agent performs. Ontology negotiation enables agents to cooperate in performing a task, even if they are based on different ontologies. The proce...
متن کاملSelf-modeling Agents Evolving in Our Finite Universe
This paper proposes that we should avoid infinite sets in definitions of AI agent and their environments. For agents that evolve to increase their finite resources it proposes a self-modeling agent definition that avoids assumptions about the agent's future form. And it proposes a consistent and complete logical theory for reasoning by AI agents in our finite universe. 1 Finitely Computable Age...
متن کامل